\(sl(2)\)-subalgebras of sl(6), type \(A^{1}_5\)
Number of sl(2) subalgebras: 10.
Let h be in the Cartan subalgebra. Let \(\alpha_1, ..., \alpha_n\) be simple roots with respect to h. Then the h-characteristic, as defined by E. Dynkin, is the n-tuple \((\alpha_1(h), ..., \alpha_n(h))\).
The actual realization of h. The coordinates of h are given with respect to the fixed original simple basis. Note that the h-characteristic is computed using a possibly different simple basis, more precisely, with respect to any h-positive simple basis.
A regular semisimple subalgebra might contain an sl(2) such that the sl(2) has no centralizer in the regular semisimple subalgebra, but the regular semisimple subalgebra might fail to be minimal containing. This happens when another minimal containing regular semisimple subalgebra of equal rank nests as a root subalgebra in the containing SA. See Dynkin, Semisimple Lie subalgebras of semisimple Lie algebras, remark before Theorem 10.4.
The \(sl(2)\) submodules of the ambient Lie algebra are parametrized by their highest weight with respect to the Cartan element h of \(sl(2)\). In turn, the highest weight is a positive integer multiple of the fundamental highest weight \(\psi\). \(V_{l\psi}\) is \(l + 1\)-dimensional.
| Type + realization link | h-Characteristic | Realization of h | sl(2)-module decomposition of the ambient Lie algebra
\(\psi=\) the fundamental \(sl(2)\)-weight. | Centralizer dimension | Type of semisimple part of centralizer, if known | The square of the length of the weight dual to h. | Dynkin index | Minimal containing regular semisimple SAs | Containing regular semisimple SAs in which the sl(2) has no centralizer |
| \(A^{35}_1\) | (2, 2, 2, 2, 2) | (5, 8, 9, 8, 5) | \(V_{10\psi}+V_{8\psi}+V_{6\psi}+V_{4\psi}+V_{2\psi}\)
| 0 | \(\displaystyle 0\) | 70 | 35 | A^{1}_5; | A^{1}_5; |
| \(A^{20}_1\) | (2, 2, 0, 2, 2) | (4, 6, 6, 6, 4) | \(V_{8\psi}+V_{6\psi}+3V_{4\psi}+V_{2\psi}+V_{0}\)
| 1 | \(\displaystyle 0\) | 40 | 20 | A^{1}_4; | A^{1}_4; |
| \(A^{11}_1\) | (2, 0, 2, 0, 2) | (3, 4, 5, 4, 3) | \(V_{6\psi}+3V_{4\psi}+4V_{2\psi}+V_{0}\)
| 1 | \(\displaystyle 0\) | 22 | 11 | A^{1}_3+A^{1}_1; | A^{1}_3+A^{1}_1; |
| \(A^{10}_1\) | (2, 1, 0, 1, 2) | (3, 4, 4, 4, 3) | \(V_{6\psi}+V_{4\psi}+4V_{3\psi}+V_{2\psi}+4V_{0}\)
| 4 | \(\displaystyle A^{1}_1\) | 20 | 10 | A^{1}_3; | A^{1}_3; |
| \(A^{8}_1\) | (0, 2, 0, 2, 0) | (2, 4, 4, 4, 2) | \(4V_{4\psi}+4V_{2\psi}+3V_{0}\)
| 3 | not computed | 16 | 8 | 2A^{1}_2; | 2A^{1}_2; |
| \(A^{5}_1\) | (1, 1, 0, 1, 1) | (2, 3, 3, 3, 2) | \(V_{4\psi}+2V_{3\psi}+4V_{2\psi}+4V_{\psi}+2V_{0}\)
| 2 | \(\displaystyle 0\) | 10 | 5 | A^{1}_2+A^{1}_1; | A^{1}_2+A^{1}_1; |
| \(A^{4}_1\) | (2, 0, 0, 0, 2) | (2, 2, 2, 2, 2) | \(V_{4\psi}+7V_{2\psi}+9V_{0}\)
| 9 | \(\displaystyle A^{1}_2\) | 8 | 4 | A^{1}_2; | A^{1}_2; |
| \(A^{3}_1\) | (0, 0, 2, 0, 0) | (1, 2, 3, 2, 1) | \(9V_{2\psi}+8V_{0}\)
| 8 | not computed | 6 | 3 | 3A^{1}_1; | 3A^{1}_1; |
| \(A^{2}_1\) | (0, 1, 0, 1, 0) | (1, 2, 2, 2, 1) | \(4V_{2\psi}+8V_{\psi}+7V_{0}\)
| 7 | not computed | 4 | 2 | 2A^{1}_1; | 2A^{1}_1; |
| \(A^{1}_1\) | (1, 0, 0, 0, 1) | (1, 1, 1, 1, 1) | \(V_{2\psi}+8V_{\psi}+16V_{0}\)
| 16 | \(\displaystyle A^{1}_3\) | 2 | 1 | A^{1}_1; | A^{1}_1; |
Length longest root ambient algebra squared/4= 1/2
Given a root subsystem P, and a root subsubsystem P_0, in (10.2) of Semisimple subalgebras of semisimple Lie algebras, E. Dynkin defines a numerical constant e(P, P_0) (which we call Dynkin epsilon).
In Theorem 10.3, Dynkin proves that if an sl(2) is an S-subalgebra in the root subalgebra generated by P, such that it has characteristic 2 for all simple roots of P lying in P_0, then e(P, P_0)= 0. It turns out by direct computation that, in the current case of A^{1}_5, e(P,P_0)= 0 implies that an S-sl(2) subalgebra of the root subalgebra generated by P with characteristic with 2's in the simple roots of P_0 always exists. Note that Theorem 10.3 is stated in one direction only.
h-characteristic: (2, 2, 2, 2, 2)
Length of the weight dual to h: 70
Simple basis ambient algebra w.r.t defining h: 5 vectors:
(1, 0, 0, 0, 0), (0, 1, 0, 0, 0), (0, 0, 1, 0, 0), (0, 0, 0, 1, 0), (0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_5
sl(2)-module decomposition of the ambient Lie algebra: \(V_{10\psi}+V_{8\psi}+V_{6\psi}+V_{4\psi}+V_{2\psi}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 5h_{5}+8h_{4}+9h_{3}+8h_{2}+5h_{1}\)
\(
e = 5/17g_{5}+4/5g_{4}+9/5g_{3}+4g_{2}+5g_{1}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{6} -5~\\x_{2} x_{7} -8~\\x_{3} x_{8} -9~\\x_{4} x_{9} -8~\\x_{5} x_{10} -5~\\\end{array}\)
h-characteristic: (2, 2, 0, 2, 2)
Length of the weight dual to h: 40
Simple basis ambient algebra w.r.t defining h: 5 vectors:
(1, 0, 0, 0, 0), (0, 1, 0, 0, 0), (0, 0, 1, 0, 0), (0, 0, 0, 1, 0), (0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_4
sl(2)-module decomposition of the ambient Lie algebra: \(V_{8\psi}+V_{6\psi}+3V_{4\psi}+V_{2\psi}+V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 4h_{5}+6h_{4}+6h_{3}+6h_{2}+4h_{1}\)
\(
e = 3g_{7}+2/5g_{5}+6/5g_{4}+4g_{1}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{5} -4~\\x_{2} x_{6} -6~\\x_{2} x_{6} -6~\\x_{3} x_{7} -6~\\x_{4} x_{8} -4~\\\end{array}\)
h-characteristic: (2, 0, 2, 0, 2)
Length of the weight dual to h: 22
Simple basis ambient algebra w.r.t defining h: 5 vectors:
(1, 0, 0, 0, 0), (0, 1, 0, 0, 0), (0, 0, 1, 0, 0), (0, 0, 0, 1, 0), (0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_3+A^{1}_1
sl(2)-module decomposition of the ambient Lie algebra: \(V_{6\psi}+3V_{4\psi}+4V_{2\psi}+V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 3h_{5}+4h_{4}+5h_{3}+4h_{2}+3h_{1}\)
\(
e = 2g_{8}+1/10g_{7}+3g_{6}+3/5g_{5}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{5} -3~\\x_{4} x_{8} +x_{1} x_{5} -4~\\x_{4} x_{8} +x_{2} x_{6} -5~\\x_{2} x_{6} -4~\\x_{3} x_{7} -3~\\\end{array}\)
h-characteristic: (2, 1, 0, 1, 2)
Length of the weight dual to h: 20
Simple basis ambient algebra w.r.t defining h: 5 vectors:
(1, 0, 0, 0, 0), (0, 1, 0, 0, 0), (0, 0, 1, 0, 0), (0, 0, 0, 1, 0), (0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_3
sl(2)-module decomposition of the ambient Lie algebra: \(V_{6\psi}+V_{4\psi}+4V_{3\psi}+V_{2\psi}+4V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 3h_{5}+4h_{4}+4h_{3}+4h_{2}+3h_{1}\)
\(
e = 2g_{11}+3/5g_{5}+3g_{1}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{4} -3~\\x_{2} x_{5} -4~\\x_{2} x_{5} -4~\\x_{2} x_{5} -4~\\x_{3} x_{6} -3~\\\end{array}\)
h-characteristic: (0, 2, 0, 2, 0)
Length of the weight dual to h: 16
Simple basis ambient algebra w.r.t defining h: 5 vectors:
(1, 0, 0, 0, 0), (0, 1, 0, 0, 0), (0, 0, 1, 0, 0), (0, 0, 0, 1, 0), (0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: 2A^{1}_2
sl(2)-module decomposition of the ambient Lie algebra: \(4V_{4\psi}+4V_{2\psi}+3V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 2h_{5}+4h_{4}+4h_{3}+4h_{2}+2h_{1}\)
\(
e = 2g_{10}+g_{9}+1/5g_{8}+2/5g_{2}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{5} -2~\\x_{3} x_{7} +x_{1} x_{5} -4~\\x_{4} x_{8} +x_{1} x_{5} -4~\\x_{4} x_{8} +x_{2} x_{6} -4~\\x_{2} x_{6} -2~\\\end{array}\)
h-characteristic: (1, 1, 0, 1, 1)
Length of the weight dual to h: 10
Simple basis ambient algebra w.r.t defining h: 5 vectors:
(1, 0, 0, 0, 0), (0, 1, 0, 0, 0), (0, 0, 1, 0, 0), (0, 0, 0, 1, 0), (0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_2+A^{1}_1
sl(2)-module decomposition of the ambient Lie algebra: \(V_{4\psi}+2V_{3\psi}+4V_{2\psi}+4V_{\psi}+2V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 2h_{5}+3h_{4}+3h_{3}+3h_{2}+2h_{1}\)
\(
e = 1/5g_{11}+2g_{10}+g_{9}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{4} -2~\\x_{3} x_{6} +x_{1} x_{4} -3~\\x_{3} x_{6} +x_{1} x_{4} -3~\\x_{3} x_{6} +x_{2} x_{5} -3~\\x_{2} x_{5} -2~\\\end{array}\)
h-characteristic: (2, 0, 0, 0, 2)
Length of the weight dual to h: 8
Simple basis ambient algebra w.r.t defining h: 5 vectors:
(1, 0, 0, 0, 0), (0, 1, 0, 0, 0), (0, 0, 1, 0, 0), (0, 0, 0, 1, 0), (0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_2
sl(2)-module decomposition of the ambient Lie algebra: \(V_{4\psi}+7V_{2\psi}+9V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = 2h_{5}+2h_{4}+2h_{3}+2h_{2}+2h_{1}\)
\(
e = 2g_{13}+g_{5}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{3} -2~\\x_{1} x_{3} -2~\\x_{1} x_{3} -2~\\x_{1} x_{3} -2~\\x_{2} x_{4} -2~\\\end{array}\)
h-characteristic: (0, 0, 2, 0, 0)
Length of the weight dual to h: 6
Simple basis ambient algebra w.r.t defining h: 5 vectors:
(1, 0, 0, 0, 0), (0, 1, 0, 0, 0), (0, 0, 1, 0, 0), (0, 0, 0, 1, 0), (0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: 3A^{1}_1
sl(2)-module decomposition of the ambient Lie algebra: \(9V_{2\psi}+8V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = h_{5}+2h_{4}+3h_{3}+2h_{2}+h_{1}\)
\(
e = g_{15}+1/2g_{11}+1/5g_{3}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{4} -1~\\x_{2} x_{5} +x_{1} x_{4} -2~\\x_{3} x_{6} +x_{2} x_{5} +x_{1} x_{4} -3~\\x_{2} x_{5} +x_{1} x_{4} -2~\\x_{1} x_{4} -1~\\\end{array}\)
h-characteristic: (0, 1, 0, 1, 0)
Length of the weight dual to h: 4
Simple basis ambient algebra w.r.t defining h: 5 vectors:
(1, 0, 0, 0, 0), (0, 1, 0, 0, 0), (0, 0, 1, 0, 0), (0, 0, 0, 1, 0), (0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: 2A^{1}_1
sl(2)-module decomposition of the ambient Lie algebra: \(4V_{2\psi}+8V_{\psi}+7V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = h_{5}+2h_{4}+2h_{3}+2h_{2}+h_{1}\)
\(
e = g_{15}+1/2g_{11}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{3} -1~\\x_{2} x_{4} +x_{1} x_{3} -2~\\x_{2} x_{4} +x_{1} x_{3} -2~\\x_{2} x_{4} +x_{1} x_{3} -2~\\x_{1} x_{3} -1~\\\end{array}\)
h-characteristic: (1, 0, 0, 0, 1)
Length of the weight dual to h: 2
Simple basis ambient algebra w.r.t defining h: 5 vectors:
(1, 0, 0, 0, 0), (0, 1, 0, 0, 0), (0, 0, 1, 0, 0), (0, 0, 0, 1, 0), (0, 0, 0, 0, 1)
Containing regular semisimple subalgebra number 1: A^{1}_1
sl(2)-module decomposition of the ambient Lie algebra: \(V_{2\psi}+8V_{\psi}+16V_{0}\)
Below is one possible realization of the sl(2) subalgebra.
\(
h = h_{5}+h_{4}+h_{3}+h_{2}+h_{1}\)
\(
e = g_{15}
\)
The polynomial system that corresponds to finding the h, e, f triple:
\(\begin{array}{l}x_{1} x_{2} -1~\\x_{1} x_{2} -1~\\x_{1} x_{2} -1~\\x_{1} x_{2} -1~\\x_{1} x_{2} -1~\\\end{array}\)